291 research outputs found
More Structural Characterizations of Some Subregular Language Families by Biautomata
We study structural restrictions on biautomata such as, e.g., acyclicity,
permutation-freeness, strongly permutation-freeness, and orderability, to
mention a few. We compare the obtained language families with those induced by
deterministic finite automata with the same property. In some cases, it is
shown that there is no difference in characterization between deterministic
finite automata and biautomata as for the permutation-freeness, but there are
also other cases, where it makes a big difference whether one considers
deterministic finite automata or biautomata. This is, for instance, the case
when comparing strongly permutation-freeness, which results in the family of
definite language for deterministic finite automata, while biautomata induce
the family of finite and co-finite languages. The obtained results nicely fall
into the known landscape on classical language families.Comment: In Proceedings AFL 2014, arXiv:1405.527
From Finite Automata to Regular Expressions and Back--A Summary on Descriptional Complexity
The equivalence of finite automata and regular expressions dates back to the
seminal paper of Kleene on events in nerve nets and finite automata from 1956.
In the present paper we tour a fragment of the literature and summarize results
on upper and lower bounds on the conversion of finite automata to regular
expressions and vice versa. We also briefly recall the known bounds for the
removal of spontaneous transitions (epsilon-transitions) on non-epsilon-free
nondeterministic devices. Moreover, we report on recent results on the average
case descriptional complexity bounds for the conversion of regular expressions
to finite automata and brand new developments on the state elimination
algorithm that converts finite automata to regular expressions.Comment: In Proceedings AFL 2014, arXiv:1405.527
On Iterated Dominance, Matrix Elimination, and Matched Paths
We study computational problems arising from the iterated removal of weakly
dominated actions in anonymous games. Our main result shows that it is
NP-complete to decide whether an anonymous game with three actions can be
solved via iterated weak dominance. The two-action case can be reformulated as
a natural elimination problem on a matrix, the complexity of which turns out to
be surprisingly difficult to characterize and ultimately remains open. We
however establish connections to a matching problem along paths in a directed
graph, which is computationally hard in general but can also be used to
identify tractable cases of matrix elimination. We finally identify different
classes of anonymous games where iterated dominance is in P and NP-complete,
respectively.Comment: 12 pages, 3 figures, 27th International Symposium on Theoretical
Aspects of Computer Science (STACS
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes
We study cooperating distributed grammar systems working in hybrid modes in
connection with the finite index restriction in two different ways: firstly, we
investigate cooperating distributed grammar systems working in hybrid modes
which characterize programmed grammars with the finite index restriction;
looking at the number of components of such systems, we obtain surprisingly
rich lattice structures for the inclusion relations between the corresponding
language families. Secondly, we impose the finite index restriction on
cooperating distributed grammar systems working in hybrid modes themselves,
which leads us to new characterizations of programmed grammars of finite index.Comment: In Proceedings AFL 2014, arXiv:1405.527
Alternating and empty alternating auxiliary stack automata
AbstractWe consider variants of alternating auxiliary stack automata and characterize their computational power when the number of alternations is bounded by a constant or unlimited. In this way we get new characterizations of NP, the polynomial hierarchy, PSpace, and bounded query classes like co-DP=NL〈NP[1]〉 and Θ2P=PNP[O(logn)], in a uniform framework
Optimal Regular Expressions for Palindromes of Given Length
The language P_n (P?_n, respectively) consists of all words that are palindromes of length 2n (2n-1, respectively) over a fixed binary alphabet. We construct a regular expression that specifies P_n (P?_n, respectively) of alphabetic width 4? 2?-4 (3? 2?-4, respectively) and show that this is optimal, that is, the expression has minimum alphabetic width among all expressions that describe P_n (P?_n, respectively). To this end we give optimal expressions for the first k palindromes in lexicographic order of odd and even length, proving that the optimal bound is 2n+4(k-1)-2 S?(k-1) in case of odd length and 2n+3(k-1)-2 S?(k-1)-1 for even length, respectively. Here S?(n) refers to the Hamming weight function, which denotes the number of ones in the binary expansion of the number n
On Minimal Pumping Constants for Regular Languages
The study of the operational complexity of minimal pumping constants started
in [J. DASSOW and I. JECKER. Operational complexity and pumping lemmas. Acta
Inform., 59:337-355, 2022], where an almost complete picture of the operational
complexity of minimal pumping constants for two different variants of pumping
lemmata from the literature was given. We continue this research by considering
a pumping lemma for regular languages that allows pumping of sub-words at any
position of the considered word, if the sub-word is long enough [S. J. SAVITCH.
Abstract Machines and Grammars. 1982]. First we improve on the simultaneous
regulation of minimal pumping constants induced by different pumping lemmata
including Savitch's pumping lemma. In this way we are able to simultaneously
regulate four different minimal pumping constants. This is a novel result in
the field of descriptional complexity. Moreover, for Savitch's pumping lemma we
are able to completely classify the range of the minimal pumping constant for
the operations Kleene star, reversal, complement, prefix- and suffix-closure,
union, set-subtraction, concatenation, intersection, and symmetric difference.
In this way, we also solve some of the open problems from the paper that
initiated the study of the operational complexity of minimal pumping constants
mentioned above.Comment: In Proceedings AFL 2023, arXiv:2309.0112
Selection Via the Bogo-Method - More on the Analysis of Perversely Awful Randomized Algorithms
We continue our research on perversely awful randomized algorithms, which started nearly a decade ago. Based on the bogo-method we design a bogo-selection algorithm and variants thereof and analyse them with elementary methods. Moreover, practical experiments are performed
- …